es{-}msgtype(${\it es}$; $m$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}M(${\it es}$)(mlnk($m$),mtag($m$))